Formal Specification Using Agents Conceptualization
نویسنده
چکیده
This paper tries to bridge the gap from agent conceptualization to formal specification in the field of requirement engineering. The IAM (Intentionnal Agent Method) approach aims to integrate the agent ontology with Time Petri Nets (TPN) in the development process helps in the construction of efficient and safe large software system. TPNs deals formally with concurrency. Mathematically, it allows formal verification of safety (what a program is allowed to do), liveness (what a program must do) or quantitative properties (performance, response time, message delivering,...).
منابع مشابه
Towards a Formal Specification of Moral Emotions
We propose a semi-formal speci cation of the elicitation conditions and prototypical coping strategies for three of the moral emotions: anger, contempt and disgust. We utilize existing psychological theories appraisal theories of emotion and the CAD triad hypothesis and incorporate them into a uni ed framework. Key features of the approach, such as its dynamic and epistemic natures, allow for m...
متن کاملA Review of Ontology and Web Service Composition
The term ontology is originated from Philosophy and was adopted by AI researchers to describe formal domain knowledge. Several ontology definitions have been proposed in the last decades. The most frequently cited definition is that given by Gruber in 1993, that is, ontology is defined as “an explicit specification of a conceptualization”. In other words, an ontology is a domain model (conceptu...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملA Domain-Specific Formal Ontology for Archaeological Knowledge Sharing and Reusing
Inherent heterogeneity and distribution of knowledge strongly prevent knowledge from sharing and reusing among different agents and across different domains; formal ontologies have been viewed as a promising means to tackle this problem. In this paper, we present a domain-specific formal ontology for archaeological knowledge sharing and reusing. The ontology consists of three major parts: archa...
متن کاملSteps Towards a Formal Ontology of Narratives Based on Narratology
Narrative is emerging as a notion that may enable overcoming the limitations of the discovery functionality (only ranked lists of objects) offered by information systems to their users. We present preliminary results on modelling narratives by means of formal ontology, by introducing a conceptualization of narratives and a mathematical expression of it. Our conceptualization tries to capture fu...
متن کامل